1. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
2. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
3. Introduction to digital systems design /
Author: Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
Classification :
QA76
.
9
.
S88
4. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989
5. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
Author: Andre Thayse
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
Classification :
QA
76
.
L28
Vol
.
175
6. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
Author: Thayse, Andre
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
Classification :
QA
76
.
6
.
T4452
1984
7. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
Author: Thayse, Andre
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
Classification :
QA
76
.
L4
v
.
175
8. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
